Optimal. Leaf size=350 \[ -\frac {b d \cos \left (a+\frac {b \sqrt {f}}{\sqrt {-d e+c f}}\right ) \text {Ci}\left (\frac {b \sqrt {f}}{\sqrt {-d e+c f}}-\frac {b}{\sqrt {c+d x}}\right )}{2 \sqrt {f} (-d e+c f)^{3/2}}+\frac {b d \cos \left (a-\frac {b \sqrt {f}}{\sqrt {-d e+c f}}\right ) \text {Ci}\left (\frac {b \sqrt {f}}{\sqrt {-d e+c f}}+\frac {b}{\sqrt {c+d x}}\right )}{2 \sqrt {f} (-d e+c f)^{3/2}}+\frac {(c+d x) \sin \left (a+\frac {b}{\sqrt {c+d x}}\right )}{(d e-c f) (e+f x)}-\frac {b d \sin \left (a+\frac {b \sqrt {f}}{\sqrt {-d e+c f}}\right ) \text {Si}\left (\frac {b \sqrt {f}}{\sqrt {-d e+c f}}-\frac {b}{\sqrt {c+d x}}\right )}{2 \sqrt {f} (-d e+c f)^{3/2}}-\frac {b d \sin \left (a-\frac {b \sqrt {f}}{\sqrt {-d e+c f}}\right ) \text {Si}\left (\frac {b \sqrt {f}}{\sqrt {-d e+c f}}+\frac {b}{\sqrt {c+d x}}\right )}{2 \sqrt {f} (-d e+c f)^{3/2}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.74, antiderivative size = 350, normalized size of antiderivative = 1.00, number of steps
used = 10, number of rules used = 6, integrand size = 22, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.273, Rules used = {3512, 3422,
3415, 3384, 3380, 3383} \begin {gather*} -\frac {b d \cos \left (a+\frac {b \sqrt {f}}{\sqrt {c f-d e}}\right ) \text {CosIntegral}\left (\frac {b \sqrt {f}}{\sqrt {c f-d e}}-\frac {b}{\sqrt {c+d x}}\right )}{2 \sqrt {f} (c f-d e)^{3/2}}+\frac {b d \cos \left (a-\frac {b \sqrt {f}}{\sqrt {c f-d e}}\right ) \text {CosIntegral}\left (\frac {b \sqrt {f}}{\sqrt {c f-d e}}+\frac {b}{\sqrt {c+d x}}\right )}{2 \sqrt {f} (c f-d e)^{3/2}}-\frac {b d \sin \left (a+\frac {b \sqrt {f}}{\sqrt {c f-d e}}\right ) \text {Si}\left (\frac {b \sqrt {f}}{\sqrt {c f-d e}}-\frac {b}{\sqrt {c+d x}}\right )}{2 \sqrt {f} (c f-d e)^{3/2}}-\frac {b d \sin \left (a-\frac {b \sqrt {f}}{\sqrt {c f-d e}}\right ) \text {Si}\left (\frac {\sqrt {f} b}{\sqrt {c f-d e}}+\frac {b}{\sqrt {c+d x}}\right )}{2 \sqrt {f} (c f-d e)^{3/2}}+\frac {(c+d x) \sin \left (a+\frac {b}{\sqrt {c+d x}}\right )}{(e+f x) (d e-c f)} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 3380
Rule 3383
Rule 3384
Rule 3415
Rule 3422
Rule 3512
Rubi steps
\begin {align*} \int \frac {\sin \left (a+\frac {b}{\sqrt {c+d x}}\right )}{(e+f x)^2} \, dx &=-\frac {2 \text {Subst}\left (\int \frac {x \sin (a+b x)}{\left (\frac {f}{d}+\left (e-\frac {c f}{d}\right ) x^2\right )^2} \, dx,x,\frac {1}{\sqrt {c+d x}}\right )}{d}\\ &=\frac {(c+d x) \sin \left (a+\frac {b}{\sqrt {c+d x}}\right )}{(d e-c f) (e+f x)}-\frac {b \text {Subst}\left (\int \frac {\cos (a+b x)}{\frac {f}{d}+\left (e-\frac {c f}{d}\right ) x^2} \, dx,x,\frac {1}{\sqrt {c+d x}}\right )}{d e-c f}\\ &=\frac {(c+d x) \sin \left (a+\frac {b}{\sqrt {c+d x}}\right )}{(d e-c f) (e+f x)}-\frac {b \text {Subst}\left (\int \left (\frac {d \cos (a+b x)}{2 \sqrt {f} \left (\sqrt {f}-\sqrt {-d e+c f} x\right )}+\frac {d \cos (a+b x)}{2 \sqrt {f} \left (\sqrt {f}+\sqrt {-d e+c f} x\right )}\right ) \, dx,x,\frac {1}{\sqrt {c+d x}}\right )}{d e-c f}\\ &=\frac {(c+d x) \sin \left (a+\frac {b}{\sqrt {c+d x}}\right )}{(d e-c f) (e+f x)}-\frac {(b d) \text {Subst}\left (\int \frac {\cos (a+b x)}{\sqrt {f}-\sqrt {-d e+c f} x} \, dx,x,\frac {1}{\sqrt {c+d x}}\right )}{2 \sqrt {f} (d e-c f)}-\frac {(b d) \text {Subst}\left (\int \frac {\cos (a+b x)}{\sqrt {f}+\sqrt {-d e+c f} x} \, dx,x,\frac {1}{\sqrt {c+d x}}\right )}{2 \sqrt {f} (d e-c f)}\\ &=\frac {(c+d x) \sin \left (a+\frac {b}{\sqrt {c+d x}}\right )}{(d e-c f) (e+f x)}-\frac {\left (b d \cos \left (a-\frac {b \sqrt {f}}{\sqrt {-d e+c f}}\right )\right ) \text {Subst}\left (\int \frac {\cos \left (\frac {b \sqrt {f}}{\sqrt {-d e+c f}}+b x\right )}{\sqrt {f}+\sqrt {-d e+c f} x} \, dx,x,\frac {1}{\sqrt {c+d x}}\right )}{2 \sqrt {f} (d e-c f)}-\frac {\left (b d \cos \left (a+\frac {b \sqrt {f}}{\sqrt {-d e+c f}}\right )\right ) \text {Subst}\left (\int \frac {\cos \left (\frac {b \sqrt {f}}{\sqrt {-d e+c f}}-b x\right )}{\sqrt {f}-\sqrt {-d e+c f} x} \, dx,x,\frac {1}{\sqrt {c+d x}}\right )}{2 \sqrt {f} (d e-c f)}+\frac {\left (b d \sin \left (a-\frac {b \sqrt {f}}{\sqrt {-d e+c f}}\right )\right ) \text {Subst}\left (\int \frac {\sin \left (\frac {b \sqrt {f}}{\sqrt {-d e+c f}}+b x\right )}{\sqrt {f}+\sqrt {-d e+c f} x} \, dx,x,\frac {1}{\sqrt {c+d x}}\right )}{2 \sqrt {f} (d e-c f)}-\frac {\left (b d \sin \left (a+\frac {b \sqrt {f}}{\sqrt {-d e+c f}}\right )\right ) \text {Subst}\left (\int \frac {\sin \left (\frac {b \sqrt {f}}{\sqrt {-d e+c f}}-b x\right )}{\sqrt {f}-\sqrt {-d e+c f} x} \, dx,x,\frac {1}{\sqrt {c+d x}}\right )}{2 \sqrt {f} (d e-c f)}\\ &=-\frac {b d \cos \left (a+\frac {b \sqrt {f}}{\sqrt {-d e+c f}}\right ) \text {Ci}\left (\frac {b \sqrt {f}}{\sqrt {-d e+c f}}-\frac {b}{\sqrt {c+d x}}\right )}{2 \sqrt {f} (-d e+c f)^{3/2}}+\frac {b d \cos \left (a-\frac {b \sqrt {f}}{\sqrt {-d e+c f}}\right ) \text {Ci}\left (\frac {b \sqrt {f}}{\sqrt {-d e+c f}}+\frac {b}{\sqrt {c+d x}}\right )}{2 \sqrt {f} (-d e+c f)^{3/2}}+\frac {(c+d x) \sin \left (a+\frac {b}{\sqrt {c+d x}}\right )}{(d e-c f) (e+f x)}-\frac {b d \sin \left (a+\frac {b \sqrt {f}}{\sqrt {-d e+c f}}\right ) \text {Si}\left (\frac {b \sqrt {f}}{\sqrt {-d e+c f}}-\frac {b}{\sqrt {c+d x}}\right )}{2 \sqrt {f} (-d e+c f)^{3/2}}-\frac {b d \sin \left (a-\frac {b \sqrt {f}}{\sqrt {-d e+c f}}\right ) \text {Si}\left (\frac {b \sqrt {f}}{\sqrt {-d e+c f}}+\frac {b}{\sqrt {c+d x}}\right )}{2 \sqrt {f} (-d e+c f)^{3/2}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [F]
time = 180.04, size = 0, normalized size = 0.00 \begin {gather*} \text {\$Aborted} \end {gather*}
Verification is not applicable to the result.
[In]
[Out]
________________________________________________________________________________________
Maple [B] Leaf count of result is larger than twice the leaf count of optimal. \(2733\) vs.
\(2(284)=568\).
time = 0.06, size = 2734, normalized size = 7.81
method | result | size |
derivativedivides | \(\text {Expression too large to display}\) | \(2734\) |
default | \(\text {Expression too large to display}\) | \(2734\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [C] Result contains complex when optimal does not.
time = 0.48, size = 477, normalized size = 1.36 \begin {gather*} -\frac {{\left (-i \, d f x - i \, d e\right )} \sqrt {-\frac {b^{2} f}{c f - d e}} {\rm Ei}\left (-\frac {\sqrt {-\frac {b^{2} f}{c f - d e}} {\left (d x + c\right )} - i \, \sqrt {d x + c} b}{d x + c}\right ) e^{\left (i \, a + \sqrt {-\frac {b^{2} f}{c f - d e}}\right )} + {\left (i \, d f x + i \, d e\right )} \sqrt {-\frac {b^{2} f}{c f - d e}} {\rm Ei}\left (\frac {\sqrt {-\frac {b^{2} f}{c f - d e}} {\left (d x + c\right )} + i \, \sqrt {d x + c} b}{d x + c}\right ) e^{\left (i \, a - \sqrt {-\frac {b^{2} f}{c f - d e}}\right )} + {\left (i \, d f x + i \, d e\right )} \sqrt {-\frac {b^{2} f}{c f - d e}} {\rm Ei}\left (-\frac {\sqrt {-\frac {b^{2} f}{c f - d e}} {\left (d x + c\right )} + i \, \sqrt {d x + c} b}{d x + c}\right ) e^{\left (-i \, a + \sqrt {-\frac {b^{2} f}{c f - d e}}\right )} + {\left (-i \, d f x - i \, d e\right )} \sqrt {-\frac {b^{2} f}{c f - d e}} {\rm Ei}\left (\frac {\sqrt {-\frac {b^{2} f}{c f - d e}} {\left (d x + c\right )} - i \, \sqrt {d x + c} b}{d x + c}\right ) e^{\left (-i \, a - \sqrt {-\frac {b^{2} f}{c f - d e}}\right )} + 4 \, {\left (d f x + c f\right )} \sin \left (\frac {a d x + a c + \sqrt {d x + c} b}{d x + c}\right )}{4 \, {\left (c f^{3} x - d f e^{2} - {\left (d f^{2} x - c f^{2}\right )} e\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \int \frac {\sin {\left (a + \frac {b}{\sqrt {c + d x}} \right )}}{\left (e + f x\right )^{2}}\, dx \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {\sin \left (a+\frac {b}{\sqrt {c+d\,x}}\right )}{{\left (e+f\,x\right )}^2} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________